Грамматика принадлежности
В отличие от упорядоченных пар $(a, b)$ или $n$-кортежей, где важна позиция, множество $\{a, b\}$ определяется исключительно своими элементами. Следовательно, $\{a, b\} = \{b, a\}$. Это равнодушие к порядку позволяет нам сосредоточиться на идентичности принадлежности.
Включение $A \subseteq B$ означает, что каждый элемент $A$ содержится в $B$. Однако, собственное подмножество $A \subset B$ требует больше: $B$ должен содержать по крайней мере один элемент, который не не содержится в $A$.
Мощность множества мощность множества $\mathcal{P}(S)$ — это множество всех возможных подмножеств $S$. Если $|S| = n$, то $|\mathcal{P}(S)| = 2^n$, что отображает экспоненциальный масштаб фундаментальных возможностей.
Логическая связь: Механика множеств
Операции над множествами являются физическими проявлениями логических рассуждений:
- Объединение ($A \cup B$): Логическое ИЛИ. Элементы, принадлежащие $A$ или $B$.
- Пересечение ($A \cap B$): Логическое И. Элементы, принадлежащие как $A$, так и $B$.
- Дисъюнктивные множества ($A \cap B = \emptyset$): Взаимоисключающие логические условия.
Разобранный пример: База данных студентов
Рассмотрим базу данных $D_1 = \{\text{Гарф, Эрин, Марти}\}$. Мы определим два предиката:
- Множество $A$: Студенты ростом более 5 футов 10 дюймов $\to \{\text{Гарф, Марти}\}$.
- Множество $B$: Студенты, имена которых заканчиваются на 'и' $\to \{\text{Марти}\}$.
Мощность множества Пересечение $A \cap B$ даёт $\{\text{Марти}\}$. Это демонстрирует, как логическое «И» фильтрует население по перекрывающимся критериям. Марти — единственный студент, удовлетворяющий обоим условиям: быть высоким и иметь имя, оканчивающееся на 'и'.
$x \in A \cap B \iff (x \in A) \land (x \in B)$